Web based Reachability Testing for Hetergeneous Application using Nash Equilibrium
نویسندگان
چکیده
Reachability testing is a mixture strategy, combine non-deterministic and deterministic testing accomplishes a test run deterministically up to a definite point and then allow synchronized program to work non-deterministically. A game theoretic approach is the learning approach of mathematical models of variance and collaboration between intellectual rational decision-makers. To overcome the conflicts arises in the game theoretic approach, the previous work considered the fault discovery of reachability testing from a game theoretic point of view. But the downside of the previous work is that it supports only homogeneous applications rather than heterogeneous and web applications. Proposal in this work presented a web based reachability testing model encompassing a state of Nash equilibrium for heterogeneous applications. Heterogeneous application comprises of parallel and divertive function which have contributory influence over one another at different instances. The proposal adopts game theoretic approach which supports parallel and diversive functions by maintaining equilibrium state for contra functions. Evaluation of reachability test is conducted on to testify the integrity of newer functions with previous versions of the program. Simulations are conducted with web and heterogeneous application to evaluate the performance of proposed web based reachability testing model for both homogeneous and heterogeneous applications. The reliability of our proposal model shows improvement minimal testing time i. e. , nearly 16%, and memory usage i. e nearly 17% compared to the existing reachability testing
منابع مشابه
Nash Equilibria for Reachability Objectives in Multi-player Timed Games
We propose a procedure for computing Nash equilibria in multi-player timed games with reachability objectives. Our procedure is based on the construction of a finite concurrent game, and on a generic characterization of Nash equilibria in (possibly infinite) concurrent games. Along the way, we use our characterization to compute Nash equilibria in finite concurrent games.
متن کاملOn (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
We study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In such games, each player aims at reaching his own goal set of states as soon as possible. A previous work on this model showed that Nash equilibria (resp. secure equilibria) are guaranteed to exist in the multiplayer (resp. two-player) case. The existence of secure equilibria ...
متن کاملA Web-Based Bimatrix Game Optimization Model of Polynomial Complexity
The objective of this paper is the description, justification, and web-based implementation of polynomial time algorithms for equilibrium search of Quadratic Bimatrix Games (QBG). An algorithm is proposed combining exact and heuristic parts. The exact part has the Irelevant Fraud (IF) component for cases when an equilibrium exists with no pure strategies. The Direct Search (DS) component finds ...
متن کاملSubgame Perfection for Equilibria in Quantitative Reachability Games
We study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In such games, each player aims at reaching his own goal set of states as soon as possible. A previous work on this model showed that Nash equilibria (resp. secure equilibria) are guaranteed to exist in the multiplayer (resp. two-player) case. The existence of secure equilibria ...
متن کاملMixed Nash Equilibria in Concurrent Terminal-Reward Games
We study mixed-strategy Nash equilibria in multiplayer deterministic concurrent games played on graphs, with terminal-reward payoffs (that is, absorbing states with a value for each player). We show undecidability of the existence of a constrained Nash equilibrium (the constraint requiring that one player should have maximal payoff), with only three players and 0/1-rewards (i.e., reachability o...
متن کامل